Proving Conjectures Using Deductive Reasoning